Manually mark server \code{token} as \code{OFFLINE}.
